<html>
    <head>
        <script>
            function hst() {
                var search = location.search;
                var historyToken = '';
                if (search.length > 0) historyToken = search.substring(1);
                document.getElementById('__gwt_historyToken').value = historyToken;
                if (parent.__gwt_onHistoryLoad) parent.__gwt_onHistoryLoad(historyToken);
            }
    </script></head>
    <body onload='hst()'>
        <input type='text' id='__gwt_historyToken'>
    </body>
</html>
